This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant. His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have...(展开全部)

This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant. His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have...(展开全部)

简介：风华绝代

简介：风华绝代

Archimedes lived in the third century BC, and died in the siege of Syracuse. Together with Euclid and Apollonius, he was one of the three great mathematicians of the ancient world, credited with astonishing breadth of thought and brilliance of insight. His practical inventions included the water-screw for irrigation, catapults and grappling devices for military defence on land ...(展开全部)

Complete works of ancient geometer in highly accessible translation by distinguished scholar. Topics include the famous problems of the ratio of the areas of a cylinder and an inscribed sphere; the measurement of a circle; the properties of conoids, spheroids, and spirals; and the quadrature of the parabola. Informative introduction and 52-page supplement.

Two-volume set edition - The Oxford Translation of Aristotle was originally published in 12 volumes between 1912 and 1954. It is universally recognized as the standard English version of Aristotle. This revised edition contains the substance of the original Translation, slightly emended in light of recent scholarship; three of the original versions have been replaced by new tra...(展开全部)

Two-volume set edition - The Oxford Translation of Aristotle was originally published in 12 volumes between 1912 and 1954. It is universally recognized as the standard English version of Aristotle. This revised edition contains the substance of the original Translation, slightly emended in light of recent scholarship; three of the original versions have been replaced by new tra...(展开全部)

Leslie Green is a leading figure in late-20th and early-21st century legal philosophy. He has made important contributions on topics as varied as legal positivism, political obligation, the limits of government, and the regulation of pornography. Green's work is marked by its striking originality and approachability, as well as his willingness to see questions in the philosophy...(展开全部)

Leslie Green is a leading figure in late-20th and early-21st century legal philosophy. He has made important contributions on topics as varied as legal positivism, political obligation, the limits of government, and the regulation of pornography. Green's work is marked by its striking originality and approachability, as well as his willingness to see questions in the philosophy...(展开全部)